Commentary by cpressey on Order Theory works
============================================

<!--
Copyright (c) 2025 Chris Pressey, Cat's Eye Technologies.

SPDX-License-Identifier: CC-BY-ND-4.0
-->

### Was lattice theory central to mid-20th century mathematics?

### Introduction to Domain Theory

### Deriving Laws from Ordering Relations

The thesis seems to be that the fact that some things form a lattice *induces* some of the laws
and equations surrounding those things.  For example, you get Bayes' Theorem *from* the algebraic
properties of implication a la Cox.  This is difficult to comprehend fully, but fascinating.

### Lattices to Logic

It's only 100 pages. I should really try to digest it, but I have so far only skimmed it.